<HTML><HEAD><TITLE>library(chr)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(chr)</H1>
Constraint Handling Rules Library - obsolescent, use library(ech) instead
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><STRONG>CHR=(?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRalready_in(?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRcheck_and_mark_applied(?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRcheck_and_mark_applied(?, ?, ?, ?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRdelay(?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRfail</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRgen_num(?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRget_delayed_goals(?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRhead_not_kept(?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRkeep_heads_checking(?, ?, ?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRkeep_heads_checking(?, ?, ?, ?, ?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRkill(?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRnonvar(?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>CHRvar(?)</STRONG></DT>
<DD>No description available</DD>
<DT><A HREF="chr-1.html"><STRONG>chr(+File)</STRONG></A></DT>
<DD>Compile File.chr into a .pl file and load the pl file.

</DD>
<DT><A HREF="chr2pl-1.html"><STRONG>chr2pl(+File)</STRONG></A></DT>
<DD>Compile File.chr into a .pl file.

</DD>
<DT><STRONG>chr_delayed_goals_handler(?, ?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><A HREF="chr_get_constraint-1.html"><STRONG>chr_get_constraint(?Constraint)</STRONG></A></DT>
<DD>Remove a constraint unifying with Constraint from the constraint store.

</DD>
<DT><A HREF="chr_get_constraint-2.html"><STRONG>chr_get_constraint(Variable,?Constraint)</STRONG></A></DT>
<DD>Remove a constraint in which the variable Variable occurs and which unifies
with Constraint from the constraint store.

</DD>
<DT><A HREF="chr_label_with-1.html"><STRONG>chr_label_with(+Constraint)</STRONG></A></DT>
<DD>Checks the label_with declarations of Constraint.

</DD>
<DT><A HREF="chr_labeling-0.html"><STRONG>chr_labeling</STRONG></A></DT>
<DD>Activates the built-in labeling feature for constraint handling rules.

</DD>
<DT><A HREF="chr_notrace-0.html"><STRONG>chr_notrace</STRONG></A></DT>
<DD>Deactivates the standard or Opium debugger extension for constraint
handling rules.

</DD>
<DT><A HREF="chr_opium-0.html"><STRONG>chr_opium</STRONG></A></DT>
<DD>Activates the Opium debugger and shows constraint handling.

</DD>
<DT><A HREF="chr_resolve-1.html"><STRONG>chr_resolve(+Constraint)</STRONG></A></DT>
<DD>Uses the Prolog clauses to solve a constraint Constraint.

</DD>
<DT><STRONG>chr_start_handler(?, ?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><A HREF="chr_trace-0.html"><STRONG>chr_trace</STRONG></A></DT>
<DD>Activates the standard debugger and shows constraint handling.

</DD>
<DT><STRONG>coca(?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>no_delayed_goals(?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>no_global_bindings(?, ?)</STRONG></DT>
<DD>No description available</DD>
<DT><STRONG>tr_chr(?, ?)</STRONG></DT>
<DD>No description available</DD>
</DL>
</BLOCKQUOTE>
<H2>Reexports</H2>
<BLOCKQUOTE><DL>
<DT><STRONG>reexport chr2pl</STRONG></DT><DD></DD>
</DL></BLOCKQUOTE>
<H2>Other Exports</H2>
<BLOCKQUOTE><DL>
<DT><STRONG>export initialization(dynamic CHRlabel_with / 3)</STRONG></DT><DD></DD>
<DT><STRONG>export portray(CHRhead_not_kept / 1, tr_chr / 2, [])</STRONG></DT><DD></DD>
</DL></BLOCKQUOTE>
<H2>About</H2><UL COMPACT>
<LI><STRONG>Status: </STRONG>deprecated
<LI><STRONG>Author: </STRONG>Pascal Brisset and Thom Fruehwirth, ECRC
<LI><STRONG>Copyright &copy; </STRONG>1994-2006 Cisco Systems, Inc
<LI><STRONG>Date: </STRONG>$Date: 2009/02/19 06:01:22 $
</UL>
<HR>Generated from chr.eci on 2009-05-27 01:25
</BODY></HTML>
